let a :: b = ()
